A New Approach to Teaching Discrete Mathematics
نویسندگان
چکیده
We advocate teaching introductory discrete mathematics by first teaching equational propositional and predicate logic and then using it as tool (and not simply viewing it as an object of study) throughout the study of later topics —e.g. set theory, induction, relations, theory of integers, combinatorics, solving recurrence relations, and modern algebra. The in-depth (6–7 weeks) treatment of logic emphasizes rigorous proofs, strategies for developing proofs, and much practice, so that students develop a skill in formal manipulation. Care is taken to explain all concepts clearly and rigorously. Later topics are dealt with by viewing them as theories —extensions of the predicate calculus. The course should motivate the use of logic as a pervasive tool. It must enlighten, and not stifle and oppress. Our experience shows that this is possible. Anecdotal evidence shows that students come away with less fear of mathematics, proof, and notation, more confidence in their mathematical abilities, an appreciation for rigor, and the urge to try out their new skills in other courses.
منابع مشابه
Teaching thermodynamics to engineering students: new approach for interpolation of steam tables
متن کامل
A Discrete Hybrid Teaching-Learning-Based Optimization algorithm for optimization of space trusses
In this study, to enhance the optimization process, especially in the structural engineering field two well-known algorithms are merged together in order to achieve an improved hybrid algorithm. These two algorithms are Teaching-Learning Based Optimization (TLBO) and Harmony Search (HS) which have been used by most researchers in varied fields of science. The hybridized algorithm is called A Di...
متن کاملFINITE-TIME PASSIVITY OF DISCRETE-TIME T-S FUZZY NEURAL NETWORKS WITH TIME-VARYING DELAYS
This paper focuses on the problem of finite-time boundedness and finite-time passivity of discrete-time T-S fuzzy neural networks with time-varying delays. A suitable Lyapunov--Krasovskii functional(LKF) is established to derive sufficient condition for finite-time passivity of discrete-time T-S fuzzy neural networks. The dynamical system is transformed into a T-S fuzzy model with uncertain par...
متن کاملRobust stability of fuzzy Markov type Cohen-Grossberg neural networks by delay decomposition approach
In this paper, we investigate the delay-dependent robust stability of fuzzy Cohen-Grossberg neural networks with Markovian jumping parameter and mixed time varying delays by delay decomposition method. A new Lyapunov-Krasovskii functional (LKF) is constructed by nonuniformly dividing discrete delay interval into multiple subinterval, and choosing proper functionals with different weighting matr...
متن کاملParallel teaching: An Approach to improve the academic performance of students in mathematics and their attitudes toward school
This study aimed to investigate the impact of Parallel teaching on the academic performance of students in the sixth grade in math and their attitude toward school was conducted. The research method was experimental and pretest-posttest with control and experimental groups. Statistical population consisted sixth female students in Tabriz in the academic year 94-95 and the sample size is 70 pers...
متن کامل